\relax 
\@writefile{toc}{\contentsline {chapter}{\numberline {A}Formal Analysis}{51}{appendix.A}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{cap:Formal Analysis}{{A}{51}{Formal Analysis\relax }{appendix.A}{}}
\@writefile{toc}{\contentsline {section}{\numberline {A.1}Introduction}{51}{section.A.1}}
\@writefile{toc}{\contentsline {section}{\numberline {A.2}Model Description}{52}{section.A.2}}
\@writefile{lof}{\contentsline {figure}{\numberline {A.1}{\ignorespaces Class Diagram\relax }}{52}{figure.caption.26}}
\@writefile{toc}{\contentsline {section}{\numberline {A.3}Alloy Code}{53}{section.A.3}}
\newlabel{StaticModel}{{A.1}{53}{Static Model\relax }{lstlisting.A.1}{}}
\@writefile{lol}{\contentsline {lstlisting}{\numberline {A.1}Static Model}{53}{lstlisting.A.1}}
\newlabel{DynamicModel}{{A.2}{61}{Dynamic Model\relax }{lstlisting.A.2}{}}
\@writefile{lol}{\contentsline {lstlisting}{\numberline {A.2}Dynamic Model}{61}{lstlisting.A.2}}
\newlabel{TimeLibrary}{{A.3}{67}{Time Library\relax }{lstlisting.A.3}{}}
\@writefile{lol}{\contentsline {lstlisting}{\numberline {A.3}Time Library}{67}{lstlisting.A.3}}
\@writefile{toc}{\contentsline {section}{\numberline {A.4}Analysis Result}{69}{section.A.4}}
\@writefile{lof}{\contentsline {figure}{\numberline {A.2}{\ignorespaces Alloy Static Model - Feedbacks\relax }}{69}{figure.caption.28}}
\@writefile{lof}{\contentsline {figure}{\numberline {A.3}{\ignorespaces Alloy Static Model - Login\relax }}{70}{figure.caption.29}}
\@writefile{lof}{\contentsline {figure}{\numberline {A.4}{\ignorespaces Alloy Model - Projection on State 0\relax }}{71}{figure.caption.31}}
\@writefile{lof}{\contentsline {figure}{\numberline {A.5}{\ignorespaces Alloy Dynamic Model - Projection on State 1\relax }}{71}{figure.caption.32}}
\@writefile{lof}{\contentsline {figure}{\numberline {A.6}{\ignorespaces Alloy Dynamic Model - Projection on State 2\relax }}{72}{figure.caption.33}}
\@setckpt{contents/FormalAnalisys}{
\setcounter{page}{73}
\setcounter{equation}{0}
\setcounter{enumi}{0}
\setcounter{enumii}{0}
\setcounter{enumiii}{0}
\setcounter{enumiv}{0}
\setcounter{footnote}{0}
\setcounter{mpfootnote}{0}
\setcounter{part}{0}
\setcounter{chapter}{1}
\setcounter{section}{4}
\setcounter{subsection}{0}
\setcounter{subsubsection}{0}
\setcounter{paragraph}{0}
\setcounter{subparagraph}{0}
\setcounter{figure}{6}
\setcounter{table}{0}
\setcounter{lstnumber}{62}
\setcounter{Exercise}{0}
\setcounter{Answer}{0}
\setcounter{ExePart}{0}
\setcounter{Question}{0}
\setcounter{subQuestion}{0}
\setcounter{subsubQuestion}{0}
\setcounter{savedQuestion}{0}
\setcounter{savedsubQuestion}{0}
\setcounter{savedsubsubQuestion}{0}
\setcounter{Item}{0}
\setcounter{Hfootnote}{0}
\setcounter{bookmark@seq@number}{30}
\setcounter{parentequation}{0}
\setcounter{ContinuedFloat}{0}
\setcounter{lstlisting}{3}
\setcounter{section@level}{1}
}
